Assumptions: finite products, self-dual
Conclusions: finite coproducts
Reason: This holds by self-duality.